Process algebra , as one of the important tools for describing and analyzing concurrent and distributed systems , became an central branch of research in concurrency theory 進程代數作為描述和分析并發與分布式系統的重要工具之一是并發理論的主流研究方向。
The linear time - branching time spectrum ii : the semantics of sequential processes with silent moves . in concurrency theory , best e ed . , lncs 715 , 1993 , pp . 66 - 81 本文的主要貢獻是研究了這種更一般的并發系統的動作精化理論,證明了我們的動作精化具有通常期望的以下一些性質: 1正確性。